//
//  Header.h
//  ltlbmc
//
//  Created by GD Huang on 5/22/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef ltlbmc_Header_h
#define ltlbmc_Header_h

namespace cilast {
    enum ikind {
        IChar,
        ISChar,
        IUChar,
        IBool,
        IInt,
        IUInt,
        IShort,
        IUShort,
        ILong,
        IULong,
        ILongLong,
        IULongLong
    };
}


#endif
